#ifndef __USER_API_H__
#define __USER_API_H__

/* user mode syscall APIs */
extern uint32_t get_mstatus();

#endif /* __USER_API_H__ */

